Section: New Software and Platforms

Ref-indic

Participants : Hend Ben Ameur, François Clément, Pierre Weis.

Ref-indic is an adaptive parameterization platform using refinement indicators. Slogan is “details only where they are worth it”. Ref-indic implements a generic version of the refinement indicator algorithm that can dock specific programs provided they conform to the generic algorithm API.

• Version: 1.4+pl0 (2014/07/01)

• Programming language: OCaml

• http://refinement.inria.fr/ref-indic/